A Possibilistic Analysis of Inconsistency
نویسندگان
چکیده
Central in standard possibilistic logic (where propositional logic formulas are associated with lower bounds of their necessity measures), is the notion of inconsistency level of a possibilistic logic base. Formulas whose level is strictly above this inconsistency level constitute a sub-base free of any inconsistency. Some extensions, based on the notions of paraconsistent completion of a possibilistic logic base, and of safely supported formulas, have been proposed for handling formulas below the level of inconsistency. In this paper we further explore these ideas, and show the interest of considering the minimal inconsistent subsets in this setting. Lines for further research are also outlined.
منابع مشابه
Properties Analysis of Inconsistency-based Possibilistic Similarity Measures
This paper deals with the problem of measuring the similarity degree between two normalized possibility distributions encoding preferences or uncertain knowledge. Many existing de nitions of possibilistic similarity indexes aggregate pairwise distances between each situation in possibility distributions. This paper goes one step further, and discusses de nitions of possibilistic similarity meas...
متن کاملNon Defeated-Based Repair in Possibilistic DL-Lite Knowledge Bases
Possibilistic DL-Lite is an extension of the DL-Lite framework to deal with uncertain pieces of information. In this paper, we deal with inconsistency in DL-Lite in case where the assertions are uncertain and encoded in a possibility theory framework. We investigate three inconsistency-tolerant reasoning methods for possibilistic DL-Lite knowledge bases which are based on the selection of one c...
متن کاملPossibilistic logic: a retrospective and prospective view
Possibilistic logic is a weighted logic introduced and developed since the mid-1980s, in the setting of arti(cial intelligence, with a view to develop a simple and rigorous approach to automated reasoning from uncertain or prioritized incomplete information. Standard possibilistic logic expressions are classical logic formulas associated with weights, interpreted in the framework of possibility...
متن کاملQuasi-Possibilistic Logic and its Measures of Information and Conflict
Possibilistic logic and quasi-classical logic are two logics that were developed in artificial intelligence for coping with inconsistency in different ways, yet preserving the main features of classical logic. This paper presents a new logic, called quasi-possibilistic logic, that encompasses possibilistic logic and quasi-classical logic, and preserves the merits of both logics. Indeed, it can ...
متن کاملOrdered Belief Fusion in Possibilistic Logic
In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic logic. We use graded epistemic operators to represent agents’ uncertain beliefs, and the operators are interpreted in accordance with possibilistic semantics. Ordered fusion can resolve the inconsistency caused by direct fusio...
متن کامل